void merge_sort(char *c, int size, char *buffer);
